WIEBE VAN DER HOEK: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Logics for Multiagent Systems

Van der Hoek, Wiebe, Wooldridge, Michael

Journal:

Year:

2012

Language:

english

File:

PDF, 491 KB

english, 2012

2

Arbitrary arrow update logic

van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld, Kuijer, Louwe B.

Journal:

Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 810 KB

english, 2017

3

[Studies in Logic and Practical Reasoning] Handbook of Modal Logic Volume 3 || 20 Modal logic for games and information

van der Hoek, Wiebe

Year:

2007

Language:

english

File:

PDF, 836 KB

english, 2007

4

Reasoning about coalitional games

Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge

Journal:

Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 504 KB

english, 2009

5

On the logic of cooperation and propositional control

Wiebe van der Hoek, Michael Wooldridge

Journal:

Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 319 KB

english, 2005

6

Group knowledge is not always distributed (neither is it always implicit)

Wiebe van der Hoek, Bernd van Linder, John-Jules Meyer

Journal:

Mathematical Social Sciences

Year:

1999

Language:

english

File:

PDF, 192 KB

english, 1999

7

RoboCup European Championship:: Report of the Amsterdam 2000 event

Frans Groen, Wiebe van der Hoek, Pieter Jonker, Ben Kröse, Hans Spoelder, Stefano Stramigioli

Journal:

Robotics and Autonomous Systems

Year:

2001

Language:

english

File:

PDF, 148 KB

english, 2001

8

Generalized quantifiers and modal logic

Wiebe Van Der Hoek, Maarten De Rijke

Journal:

Journal of Logic, Language and Information

Year:

1993

Language:

english

File:

PDF, 2.15 MB

english, 1993

9

Multi-Modal CTL: Completeness, Complexity, and an Application

Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge

Journal:

Year:

2009

Language:

english

File:

PDF, 331 KB

english, 2009

10

Social laws in alternating time: effectiveness, feasibility, and synthesis

Wiebe van der Hoek, Mark Roberts, Michael Wooldridge

Journal:

Year:

2007

Language:

english

File:

PDF, 316 KB

english, 2007

11

Quantified coalition logic

Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge

Journal:

Year:

2008

Language:

english

File:

PDF, 303 KB

english, 2008

12

Recovery of (non)monotonic theories

Cees Witteveen, Wiebe van der Hoek

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 1.61 MB

english, 1998

13

Scanning the issue

Giovanni Adorni, Wiebe van der Hoek

Journal:

Robotics and Autonomous Systems

Year:

2001

Language:

english

File:

PDF, 42 KB

english, 2001

14

Temporalizing Epistemic Default Logic

Wiebe van der Hoek, John-Jules Meyer, Jan Treur

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 480 KB

english, 1998

15

Local properties in modal logic

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

Journal:

Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 498 KB

english, 2012

16

On the succinctness of some modal logics

French, Tim, van der Hoek, Wiebe, Iliev, Petar, Kooi, Barteld

Journal:

Artificial Intelligence

Year:

2013

Language:

english

File:

PDF, 757 KB

english, 2013

17

Systems for Knowledge and Belief

van der HOEK, WIEBE

Journal:

Journal of Logic and Computation

Year:

1993

Language:

english

File:

PDF, 1.12 MB

english, 1993

18

A logical characterisation of qualitative coalitional games

Dunne, Paul E., van der Hoek, Wiebe, Wooldridge, Michael

Journal:

Journal of Applied Non-Classical Logics

Year:

2007

Language:

english

File:

PDF, 313 KB

english, 2007

19

Dynamic Epistemic Logic || Epistemic Logic

van Ditmarsch, Hans, van der Hoek, Wiebe, Kooi, Barteld

Year:

2007

Language:

english

File:

PDF, 680 KB

english, 2007

20

[ACM Press the 6th international joint conference - Honolulu, Hawaii (2007.05.14-2007.05.18)] Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07 - Reasoning about judgment and preference aggregation

Ågotnes, Thomas, van der Hoek, Wiebe, Wooldridge, Michael

Year:

2007

Language:

english

File:

PDF, 395 KB

english, 2007

21

Defeasible Deontic Logicby Donald Nute

Review by: Wiebe van der Hoek

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 306 KB

english, 2000

22

The Dynamics of Knowledge || Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications

Wiebe van der Hoek and Michael Wooldridge

Journal:

Year:

2003

Language:

english

File:

PDF, 3.33 MB

english, 2003

23

Logistics in Artificial Intelligence: Selected Papers Jelia'00 || A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples

Wiebe van der Hoek and Elias Thijsse

Journal:

Year:

2002

Language:

english

File:

PDF, 2.51 MB

english, 2002

24

Thematic Issue on Belief Revision || Logic for Applicationsby Anil Nerode; Richard A. Shore

Review by: Wiebe van der Hoek

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 323 KB

english, 1998

25

Second-order propositional modal logic: Expressiveness and completeness results

Belardinelli, Francesco, van der Hoek, Wiebe, Kuijer, Louwe B.

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 843 KB

english, 2018

26

The Logic of Gossiping

van Ditmarsch, Hans, van der Hoek, Wiebe, Kuijer, Louwe B.

Journal:

Artificial Intelligence

Year:

2020

File:

PDF, 1.05 MB

2020

27

Formal semantics of meta-level architectures: Temporal epistemic reflection

Wiebe Van Der Hoek, John-Jules Meyer, Jan Treur

Journal:

International Journal of Intelligent Systems

Year:

2003

Language:

english

File:

PDF, 185 KB

english, 2003

28

On dynamically generated ontology translators in agent communication

Rogier M. Van Eijk, Frank S. De Boer, Wiebe Van der Hoek, John-Jules Ch. Meyer

Journal:

International Journal of Intelligent Systems

Year:

2001

Language:

english

File:

PDF, 140 KB

english, 2001

29

Specifying and reasoning about uncertain agents

Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek

Journal:

International Journal of Approximate Reasoning

Year:

2008

Language:

english

File:

PDF, 371 KB

english, 2008

30

Preface

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

31

On obligations and normative ability: Towards a logical analysis of the social contract

Michael Wooldridge, Wiebe van der Hoek

Journal:

Journal of Applied Logic

Year:

2005

Language:

english

File:

PDF, 385 KB

english, 2005

32

A fully abstract model for the exchange of information in multi-agent systems

Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 223 KB

english, 2003

33

Preface: Volume 85, Issue 2

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 37 KB

english, 2004

34

A Logic For Ignorance

Wiebe van der Hoek, Alessio Lomuscio

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 197 KB

english, 2004

35

Knowledge as Strategic Ability

Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 237 KB

english, 2004

36

Process algebra and constraint programming for modeling interactions in MAS

Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2005

Language:

english

File:

PDF, 285 KB

english, 2005

37

Preface

Chiara Ghidini, Paolo Giorgini, Wiebe van der Hoek

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2006

Language:

english

File:

PDF, 82 KB

english, 2006

38

On the logic of preference and judgment aggregation

Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2011

Language:

english

File:

PDF, 335 KB

english, 2011

39

Logics in AI: post-proceedings JELIA06 (Editorial)

Michael Fisher, Wiebe van der Hoek

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 141 KB

english, 2007

40

Knowledge Condition Games

Sieuwert van Otterloo, Wiebe Van Der Hoek, Michael Wooldridge

Journal:

Journal of Logic, Language and Information

Year:

2006

Language:

english

File:

PDF, 503 KB

english, 2006

41

Reasoning About Social Choice Functions

Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge

Journal:

Journal of Philosophical Logic

Year:

2011

Language:

english

File:

PDF, 612 KB

english, 2011

42

Towards a theory of intention revision

Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge

Journal:

Year:

2007

Language:

english

File:

PDF, 643 KB

english, 2007

43

Preface

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 65 KB

english, 2005

44

Temporal Logics of Knowledge and their Applications in Security

Clare Dixon, Mari-Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 340 KB

english, 2007

45

Completeness and Complexity of Multi-modal CTL

Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 338 KB

english, 2009

46

Logic and the Foundations of the Theory of Games and Decisions: Introduction

Giacomo Bonanno, Wiebe Van Der Hoek

Journal:

Bulletin of Economic Research

Year:

2001

Language:

english

File:

PDF, 188 KB

english, 2001

47

Logic for Applications, Anil Nerode and Richard A. Shore

Wiebe van der Hoek

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 14 KB

english, 1998

48

Nonmonotonic Reasoning, Grigoris Antoniou

Wiebe van der Hoek

Journal:

Journal of Logic, Language and Information

Year:

2000

Language:

english

File:

PDF, 27 KB

english, 2000

49

Agent Programming in 3APL

Koen V. Hindriks, Frank S. De Boer, Wiebe Van der Hoek, John-Jules Ch. Meyer

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

1999

Language:

english

File:

PDF, 241 KB

english, 1999

50

Note by the Guest Editors

Wiebe van der Hoek, Cees Witteveen

Journal:

Year:

2002

File:

PDF, 455 KB

2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски